Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
281	AI4FM AI4FM: Another way to use AI ideas to support formal methods Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Formal languages Formal systems Logical truth Theoretical computer science Automated theorem proving Mathematical proof Formal proof Logic Theorist Formal methods Logic Mathematics Proof theory
282	Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-25 01:09:25 Model theory Propositional calculus Deduction Resolution First-order logic Interpretation Inference Deduction theorem Modal logic Logic Mathematical logic Automated theorem proving
283	Introduction Automated Reasoning Automated Reasoning and Formal Methods Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Science Reasoning Mathematical logic Theoretical computer science Formal methods Automated reasoning Mathematical proof Algorithm Reason Logic Mathematics Automated theorem proving
284	Practical Partition-Based Theorem Proving for Large Knowledge Bases Sheila McIlraith Bill MacCartney Knowledge Systems Lab Knowledge Systems Lab Computer Science Dept. Computer Science Dept. Stanford University Add to Reading List Source URL: www.ksl.stanford.edu Language: English - Date: 2003-06-20 17:12:42 Automated theorem proving Combinatorics NP-complete problems Graph partition Resolution Partition Tree decomposition First-order logic Mathematics Graph theory Theoretical computer science
285	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Automated theorem proving Proof theory Logic in computer science Theoretical computer science Isabelle Mathematical proof Proof assistant Theorem Automated reasoning Logic Mathematics Mathematical logic
286	Andrius Velykis School of Computing Science Newcastle University, UK with contributions from AI4FM members AI meets Formal Software Development Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Proof assistant Theorem prover Isabelle Theorem Mathematical proof Logic Mathematics Automated theorem proving
287	Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Knowledge Mathematical proof Heuristic Formal specification Logic Automated theorem proving Formal methods Mathematics Problem solving
288	Sophia: An Information Plane for Networked Systems Mike Wawrzoniak Princeton University Larry Peterson Princeton University Add to Reading List Source URL: www.planet-lab.org Language: English - Date: 2009-06-12 12:01:20 Automated theorem proving Programming paradigms Actor model PlanetLab Software testing Prolog Eval Logic programming Futures and promises Computing Software engineering Computer programming
289	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh NFM 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Heuristics Rippling Knowledge Mathematical proof Invariant Lemmas Mathematics Linguistics Automated theorem proving
290	Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2004-04-13 00:26:28 NP-complete problems Automated theorem proving Constraint programming Boolean algebra Formal methods DPLL algorithm Boolean satisfiability problem Conjunctive normal form Lookup table Theoretical computer science Applied mathematics Mathematics

UPDATE